Struct isotope::prelude::NormalCfg [−][src]
Expand description
A reduction configuration to keep going until reaching a given form for up to n
compound reductions.
Fields
max_steps: u64
The maximum number of steps which can be taken.
eta: bool
Whether to perform eta reductions
head: bool
Whether to perform head beta reductions
sub: bool
Whether to perform non-head beta reductions
Implementations
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Register a pushed substitution.
Register a popped substitution.
Register a beta reduction: return whether to terminate beta reduction (Error::StopReduction
)
Register an eta reduction: return whether to terminate eta reduction (Error::StopReduction
)
Given a term, whether to attempt an eta reduction or terminate (Error::StopReduction
)
Given a term, whether to attempt a subterm reduction or terminate (Error::StopReduction
)
Given a term, whether to attempt a head reduction or terminate (Error::StopReduction
)
Get whether a term with the given filter intersects with this context
Get this reduction configuration as a mutable reference
Auto Trait Implementations
impl RefUnwindSafe for NormalCfg
impl UnwindSafe for NormalCfg
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.